大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Acadâemie des sciences (France) 的图书(共1520本)

Networking - ICN 2005 [electronic resource] : 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part I

0
索取号:
作者:Lorenz、 Pascal.、Dini、 Petre.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Logical Aspects of Computational Linguistics [electronic resource] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005. Proceedings

0
索取号:
作者:Blache、 Philippe.、Stabler、 Edward.、Busquets、 Joan.、Moot、 Richard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Business Process Management [electronic resource] : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005. Proceedings

0
索取号:
作者:Aalst、 Wil M. P.、Benatallah、 Boualem.、Casati、 Fabio.、Curbera、 Francisco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

0
索取号:
作者:Bravetti、 Mario.、Kloul、 Le茂la.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Modeling and Using Context [electronic resource] : 5thInternational and Interdisciplinary Conference CONTEXT 2005, Paris, France, July 5-8, 2005. Proceedings

0
索取号:
作者:Dey、 Anind.、Kokinov、 Boicho.、Leake、 David.、Turner、 Roy.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Engineering Societies in the Agents World V [electronic resource] : 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers

0
索取号:
作者:Gleizes、 Marie-Pierre.、Omicini、 Andrea.、Zambonelli、 Franco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Data Integration in the Life Sciences [electronic resource] : Second International Workshop, DILS 2005, San Diego, CA, USA, July 20-22, 2005. Proceedings

0
索取号:
作者:Lud盲scher、 Bertram.、Raschid、 Louiqa.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computational Life Sciences [electronic resource] : First International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005. Proceedings

0
索取号:
作者:R. Berthold、 Michael.、Glen、 Robert C.、Diederichs、 Kay.、Kohlbacher、 Oliver.、Fischer、 Ingrid.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Fast Software Encryption [electronic resource] : 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers

0
索取号:
作者:Gilbert、 Henri.、Handschuh、 Helena.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Principles of Distributed Systems [electronic resource] : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

0
索取号:
作者:Higashino、 Teruo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advanced Computer Simulation Approaches for Soft Matter Sciences II [electronic resource]

0
索取号:
作者:Holm、 Christian.、Kremer、 Kurt.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advanced Computer Simulation [electronic resource] : Approaches for Soft Matter Sciences I

0
索取号:
作者:Holm、 Christian.、Kremer、 Kurt.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Unconventional Programming Paradigms [electronic resource] : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers

0
索取号:
作者:Ban芒tre、 Jean-Pierre.、Fradet、 Pascal.、Giavitto、 Jean-Louis.、Michel、 Olivier.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Graph-Theoretic Concepts in Computer Science [electronic resource] : 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers

0
索取号:
作者:Kratsch、 Dieter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

0
索取号:
作者:Filli芒tre、 Jean-Christophe.、Paulin-Mohring、 Christine.、Werner、 Benjamin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

0
索取号:
作者:Cousot、 Radhia.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类